package edu.pku.sei.mte.transformation.gt;

import edu.pku.sei.mte.runtime.rulebased.RBTEnvironment;
import edu.pku.sei.mte.semantics.GTSemantics;
import edu.pku.sei.mte.transformation.ModelTransformationVisitor;

public class GTSemanticVisitor extends ModelTransformationVisitor {
	public GTSemanticVisitor(RBTEnvironment env){
		super(env);
		setSemantic(GTSemantics.INSTANCE);
	}
	
	@Override
	public GTSemantics getSemantic() {
		return (GTSemantics) super.getSemantic();
	}

	public void setSemantic(GTSemantics semantic) {
		super.setSemantic(semantic);
	}
	
	@Override
	public RBTEnvironment getEnv() {
		return (RBTEnvironment) super.getEnv();
	}
}
